A Reduction Semantics for Call-by-value Mixin Modules
نویسندگان
چکیده
Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language.
منابع مشابه
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types
Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language.
متن کاملLazy mixin modules and disciplined effects
Programming languages are expected to support programmer’s effort to structure program code. The ML module system, object systems and mixins are good examples of language constructs promoting modular programming. Among the three, mixins can be thought of as a generalization of the two others in the sense that mixins can incorporate features of ML modules and objects with a set of primitive oper...
متن کاملLazy mixins and disciplined effects
Programming languages are expected to support programmer’s effort to structure program code. The ML module system, object systems and mixins are good examples of language constructs promoting modular programming. Among the three, mixins can be thought of as a generalization of the two others in the sense that mixins can incorporate features of ML modules and objects with a set of primitive oper...
متن کاملA Theory of Mixin Modules: Algebraic Laws and Reduction Semantics
Received Mixins are modules which may contain deferred components, i.e. components not deened in the module itself; moreover, in contrast to parameterized modules (like ML functors), they can be mutually dependent and allow their deenitions to be overridden. In a preceding paper we have deened syntax and a categorical semantics of a kernel language of mixin modules. Here, we take instead an axi...
متن کاملA Mixin’ Up the ML Module System
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into mutually recursive, separately compilable components. Mixin modules facilitate recursive linking of separately compiled components, but they are not hierarchically composable and typically do not support type abstracti...
متن کامل